Orc (programming language)

Orc
Paradigm(s)	concurrent, nondeterministic
Appeared in	2004
Designed by	Jayadev Misra
Developer	Jayadev Misra, William R. Cook, David Kitchin, Adrian Quark, and others
Influenced by	Haskell, ML, Oz, Smalltalk, Pict

Orc is a concurrent, nondeterministic computer programming language created by Jayadev Misra at the University of Texas at Austin. It's based on a Kleene algebra model.

External links

Orc main page

Bibliography

Misra, Jayadev. 2004. Computation orchestration: A basis for wide-area computing. In Engineering Theories of Software Intensive Systems (Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, 3-15 August 2004). Springer, 285-330. ISBN 978-1-4020-3530-2. DOI= http://dx.doi.org/10.1007/1-4020-3532-2_10

Hoare, Tony; Menzel, Galen; and Misra, Jayadev. 2004. A tree semantics of an orchestration language. In Engineering Theories of Software Intensive Systems (Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, 3-15 August 2004). Springer, 331-350. ISBN 978-1-4020-3530-2. DOI= http://dx.doi.org/10.1007/1-4020-3532-2_11

Misra, Jayadev. 2004. A programming model for the orchestration of Web services. In Proceedings of the Software Engineering and Formal Methods, Second international Conference (September 28 - 30, 2004). SEFM. IEEE Computer Society, Washington, DC, 2-11. DOI= http://dx.doi.org/10.1109/SEFM.2004.2

Kitchin, David; Cook, William R.; and Misra, Jayadev. 2006. A language for task orchestration and its semantic properties. Lecture Notes in Computer Science 4137 (Proceedings of 17th International Conference on Concurrency Theory, Bonn, Germany, 27–30 August 2006). CONCUR 2006. Springer, 477-491. ISBN 978-3-540-37376-6. DOI= http://dx.doi.org/10.1007/11817949_32

Cook, William R.; and Misra, Jayadev. 2007. Computation orchestration: A basis for wide-area computing. Software and Systems Modeling 6, 1 (Mar 2007). Springer, 83-110. ISSN 1619-1366. DOI= http://dx.doi.org/10.1007/s10270-006-0012-1

AlTurki, Musab; and Meseguer, José. 2007. Real-time rewriting semantics of Orc. In Proceedings of the 9th ACM SIGPLAN international Conference on Principles and Practice of Declarative Programming (Wroclaw, Poland, July 14 - 16, 2007). PPDP '07. ACM, New York, NY, 131-142. DOI= http://doi.acm.org/10.1145/1273920.1273938

Rosario, Sidney; Kitchin, David; Benveniste, Albert; Cook, William; Haar, Stefan; and Jard, Claude. 2008. Event structure semantics of Orc. Lecture Notes in Computer Science 4937 (Proceedings of the 4th International Workshop on Web Services and Formal Methods, Brisbane, Australia, 28-29 Sep 2007). WS-FM 2007. Springer, 154-168. ISBN 978-3-540-79229-1. DOI= http://dx.doi.org/10.1007/978-3-540-79230-7_11

Wehrman, Ian; Kitchin, David; Cook, William R.; and Misra, Jayadev. 2008. A timed semantics of Orc. Theoretical Computer Science 402, 2-3 (Jul. 2008), 234-248. DOI= http://dx.doi.org/10.1016/j.tcs.2008.04.037

Cook, William R.; and Misra, Jayadev. 2008. Structured interacting computations: (A position paper). Lecture Notes in Computer Science 5380. Springer, 139-145. ISBN 978-3-540-89436-0. DOI= http://dx.doi.org/10.1007/978-3-540-89437-7_9